derivative of cot X